axiom of superposition

叠合公设;叠合公理